Pure mathematics

Results: 326



#Item
51The Higher Infinite in Proof Theory∗† Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom  1

The Higher Infinite in Proof Theory∗† Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom 1

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2012-10-11 11:31:22
    52ECONOMICS AND MATHEMATICS by Joseba Felix Tobar-Arbulu * Introduction We can define pure mathematics as the investigation, by conceptual (a priori) means, of problems

    ECONOMICS AND MATHEMATICS by Joseba Felix Tobar-Arbulu * Introduction We can define pure mathematics as the investigation, by conceptual (a priori) means, of problems

    Add to Reading List

    Source URL: www.csbancari.ch

    Language: English - Date: 2015-10-04 04:30:04
      53in: D. E. Dobbs, M. Fontana, S.-E. Kabbaj (eds.), Advances in Commutative Ring Theory (Fes III ConfLecture Notes in Pure and Appl. Mathematics 205, Dekker 1999, pp 323–336. POLYNOMIAL FUNCTIONS ON

      in: D. E. Dobbs, M. Fontana, S.-E. Kabbaj (eds.), Advances in Commutative Ring Theory (Fes III ConfLecture Notes in Pure and Appl. Mathematics 205, Dekker 1999, pp 323–336. POLYNOMIAL FUNCTIONS ON

      Add to Reading List

      Source URL: blah.math.tu-graz.ac.at

      Language: English - Date: 2007-04-09 14:17:07
        54The Formulae-as-Classes Interpretation of Constructive Set Theory Michael RATHJEN∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, England Department of Mathematics, Ohio State University

        The Formulae-as-Classes Interpretation of Constructive Set Theory Michael RATHJEN∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, England Department of Mathematics, Ohio State University

        Add to Reading List

        Source URL: www1.maths.leeds.ac.uk

        Language: English - Date: 2012-10-11 14:50:32
          55

          International Conference on Pure and Applied Mathematics (ICPAMhttp://www.icpam.org/

          Add to Reading List

          Source URL: www.icpam.org

          Language: English - Date: 2016-01-24 23:15:24
            56Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and ∆12 -CA + BI: Part I Michael Rathjen Department of Pure Mathematics University of Leeds

            Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and ∆12 -CA + BI: Part I Michael Rathjen Department of Pure Mathematics University of Leeds

            Add to Reading List

            Source URL: www1.maths.leeds.ac.uk

            Language: English - Date: 2012-10-11 09:37:06
              57Marcel Dekker Lecture Notes in Pure and Applied Mathematics), FINITE CONDUCTOR PROPERTIES OF R(X) AND R<X> SARAH GLAZ

              Marcel Dekker Lecture Notes in Pure and Applied Mathematics), FINITE CONDUCTOR PROPERTIES OF R(X) AND R SARAH GLAZ

              Add to Reading List

              Source URL: www.math.uconn.edu

              Language: English - Date: 2009-08-20 16:00:48
                58Metamathematical Properties of Intuitionistic Set Theories with Choice Principles Michael Rathjen∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Department of Mathematics, Ohio State

                Metamathematical Properties of Intuitionistic Set Theories with Choice Principles Michael Rathjen∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Department of Mathematics, Ohio State

                Add to Reading List

                Source URL: www1.maths.leeds.ac.uk

                Language: English - Date: 2012-10-11 15:21:46
                  59Face numbers of manifolds with boundary Satoshi Murai∗ Isabella Novik†  Department of Pure and Applied Mathematics

                  Face numbers of manifolds with boundary Satoshi Murai∗ Isabella Novik† Department of Pure and Applied Mathematics

                  Add to Reading List

                  Source URL: www.math.washington.edu

                  Language: English - Date: 2016-04-14 10:48:14
                    60An Ordinal Analysis of parameter free Π12-Comprehension Michael Rathjen∗ Department of Pure Mathematics University of Leeds Leeds LS2 9JT, England

                    An Ordinal Analysis of parameter free Π12-Comprehension Michael Rathjen∗ Department of Pure Mathematics University of Leeds Leeds LS2 9JT, England

                    Add to Reading List

                    Source URL: www1.maths.leeds.ac.uk

                    Language: English - Date: 2012-10-11 13:48:32